منابع مشابه
Remarks on completeness of lattice-valued Cauchy spaces
We study different completeness definitions for two categories of lattice-valued Cauchy spaces and the relations between these definitions. We also show the equivalence of a so-called completion axiom and the existence of a completion.
متن کاملOn the Cauchy Completeness of the Constructive Cauchy Reals
Intuitionistic set theory without choice axioms does not prove that every Cauchy sequence of rationals has a modulus of convergence, or that the set of Cauchy sequences of rationals is Cauchy complete. Several other related non-provability results are also shown.
متن کاملChange of Base, Cauchy Completeness and Reversibility
We investigate the effect on Cauchy complete objects of the change of base 2-functor V-Cat → W-Cat induced by a two-sided enrichment V → W. We restrict our study to the case of locally partially ordered bases. The reversibility notion introduced in [Wal82] is extended to two-sided enrichments and Cauchy completion. We show that a reversible left adjoint two-sided enrichment F : V → W between lo...
متن کاملStructure of the Cauchy Horizon Singularity
We study the Cauchy horizon (CH) singularity of a spherical charged black hole perturbed nonlinearly by a self-gravitating massless scalar field. We show numerically that the singularity is weak both at the early and at the late sections of the CH, where the focusing of the area coordinate r is strong. In the early section the metric perturbations vanish, and the fields behave according to pert...
متن کاملremarks on completeness of lattice-valued cauchy spaces
we study different completeness definitions for two categories of lattice-valued cauchy spaces and the relations between these definitions. we also show the equivalence of a so-called completion axiom and the existence of a completion.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Mathematical Physics
سال: 2014
ISSN: 0022-2488,1089-7658
DOI: 10.1063/1.4893877